more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 13490

[filed under theme 4. Formal Logic / F. Set Theory ST / 6. Ordering in Sets ]

Full Idea

One of the glories of Von Neumann's theory of numbers is to define α < β to mean that α ∈ β.

Gist of Idea

Von Neumann defines α<β as α∈β

Source

William D. Hart (The Evolution of Logic [2010], 3)

Book Ref

Hart,W.D.: 'The Evolution of Logic' [CUP 2010], p.74